$\forall$${\it es}$:event\_system\{i:l\}, $i$,$x$:Id, $T$:Type, $L$:(Knd List). frame{-}p(${\it es}$; $i$; $T$; $x$; $L$) $\in$ prop\{i:l\}